Exercises
1. algebra
algebra.equations.coverup | provisional | solve an equation by covering up |
algebra.equations.linear | stable | solve a linear equation |
algebra.equations.linear.balance | provisional | Solve a linear equation using only balance rules. |
algebra.equations.linear.mixed | provisional | solve a linear equation with mixed fractions |
algebra.equations.polynomial | stable | solve an equation (higher degree) |
algebra.equations.quadratic | stable | solve a quadratic equation |
algebra.equations.quadratic.approximate | provisional | solve a quadratic equation with approximation |
algebra.equations.quadratic.no-abc | provisional | solve a quadratic equation without abc-formula |
algebra.equations.rational | provisional | solve a rational equation (with a variable in a divisor) |
algebra.inequalities.linear | provisional | solve a linear inequation |
algebra.inequalities.polynomial | provisional | solve an inequation of higher degree |
algebra.inequalities.quadratic | provisional | solve a quadratic inequation |
algebra.manipulation.exponential.equation | provisional | solve exponential equation algebraically |
algebra.manipulation.exponents.equation | provisional | solve power equation algebraically with x > 0 |
algebra.manipulation.exponents.nonnegative | provisional | write with a non-negative exponent |
algebra.manipulation.exponents.powerof | provisional | write as a power of a |
algebra.manipulation.exponents.simplify | provisional | simplify expression (powers) |
algebra.manipulation.logarithmic.equation | provisional | solve logarithmic equation algebraically |
algebra.manipulation.polynomial.expand | provisional | expand an expression to polynomial normal form |
algebra.manipulation.polynomial.factor | provisional | factorize the expression |
algebra.manipulation.rational.simplify | alpha | simplify a rational expression (with a variable in a divisor) |
2. arithmetic
arithmetic.exponents | provisional | simplify expression (powers) |
arithmetic.fractions | provisional | simplify fractions |
arithmetic.fractions.liberal | provisional | simplify fractions liberally |
arithmetic.fractions.steps | alpha | Fraction exercise for STEPS |
3. calculus
calculus.differentiation | provisional | Derivative |
calculus.differentiation.polynomial | provisional | Find the derivative of a polynomial. First normalize the polynomial (e.g., with distribution). Don't make use of the product-rule, or other chain rules. |
calculus.differentiation.product | provisional | Use the product-rule to find the derivative of a polynomial. Keep the parentheses in your answer. |
calculus.differentiation.quotient | provisional | Use the quotient-rule to find the derivative of a polynomial. Only remove parentheses in the numerator. |
4. linearalgebra
linearalgebra.gaussianelim | stable | Gaussian Elimination |
linearalgebra.gramschmidt | alpha | Gram-Schmidt |
linearalgebra.linsystem | stable | Solve Linear System |
linearalgebra.systemwithmatrix | provisional | Solve Linear System with Matrix |
5. logic
logic.propositional.axiomatic | experimental | Axiomatic proofs |
logic.propositional.cnf | stable | Proposition to CNF |
logic.propositional.cnf.unicode | stable | Proposition to CNF (unicode support) |
logic.propositional.consequence | experimental | Prove that formula is a logical consequence of a set of formulas |
logic.propositional.dnf | stable | Proposition to DNF |
logic.propositional.dnf.unicode | stable | Proposition to DNF (unicode support) |
logic.propositional.logax | experimental | Axiomatic proofs |
logic.propositional.proof | experimental | Prove two propositions equivalent |
logic.propositional.proof.top | experimental | Prove two propositions equivalent (with top-level decomposition) |
logic.propositional.proof.unicode | experimental | Prove two propositions equivalent (unicode support) |
6. relationalgebra
relationalgebra.cnf | alpha | To conjunctive normal form |